package syntax;

import java.util.Collection;

public interface ITermArgument extends Collection {

}
